Перечень используемых сокращений

 

 

ЭС – экспертная система
МД – модель данных
БД – база данных
МЗ – модель знаний
БЗ – база знаний
ЛВ – логика высказываний
ЛППП – логика предикатов первого порядка
КНФ – конъюнктивная нормальная форма
ДНФ – дизъюнктивная нормальная форма
ПНФ – предваренная нормальная форма
ГБД – глобальная база данных
ИПС – информационно-поисковая система
ОЗУ – оперативное запоминающее устройство